N. Boucheneb: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Study of Z-resolution for a parylene C ΔE-detector and for Bragg spectroscopy as a function of fragment charge and kinetic energy

M. Asghar, M. Djebara, B. Bouzid, G. Medkour, N. Boucheneb

Journal:

Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment

Year:

1993

Language:

english

File:

PDF, 326 KB

english, 1993

2

Improving state class constructions for CTL* model checking of time Petri nets

Rachid Hadjidj, Hanifa Boucheneb

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2008

Language:

english

File:

PDF, 725 KB

english, 2008

3

Relevant Timed Schedules/Clock Vectors for Constructing Time Petri Net Reachability Graphs

Hanifa Boucheneb, Kamel Barkaoui

Journal:

Discrete Event Dynamic Systems

Year:

2011

Language:

english

File:

PDF, 719 KB

english, 2011

4

A fixed point theorem for positive strict set-contractions mappings and its application to Urysohn type integral equations

Benmezaï, Abdelhamid, Boucheneb, Besma

Journal:

Archiv der Mathematik

Year:

2015

Language:

english

File:

PDF, 489 KB

english, 2015

5

[IEEE 2014 IEEE Symposium on Computers and Communication (ISCC) - Funchal, Madeira, Portugal (2014.6.23-2014.6.26)] 2014 IEEE Symposium on Computers and Communications (ISCC) - A formal framework for verifying inter-firewalls consistency

Moussa, Majda, Ould-Slimane, Hakima, Boucheneb, Hanifa, Chamberland, Steven

Year:

2014

Language:

english

File:

PDF, 971 KB

english, 2014

6

Plant communities of several wadi types in the Tassili N'Ajjer, Central Sahara, Algeria

Benhouhou, Salima S., Boucheneb, Nacéra, Kerzabi, Quais, Sassi, Okba

Journal:

Phytocoenologia

Year:

2003

Language:

english

File:

PDF, 463 KB

english, 2003

7

Role of a NSAID in the apparent cure of a fungal mycetoma

Dupont, B., Datry, A., Poirée, S., Canestri, A., Boucheneb, S., Fourniols, E.

Journal:

Journal de Mycologie Médicale / Journal of Medical Mycology

Year:

2016

File:

PDF, 1.20 MB

2016

8

[Lecture Notes in Computer Science] Verification and Evaluation of Computer and Communication Systems Volume 10466 || Mobility Load Balancing over Intra-frequency Heterogeneous Networks Using Handover Adaptation

Barkaoui, Kamel, Boucheneb, Hanifa, Mili, Ali, Tahar, Sofiène

Year:

2017

Language:

english

File:

PDF, 722 KB

english, 2017

9

[Lecture Notes in Computer Science] Verification and Evaluation of Computer and Communication Systems Volume 10466 || Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude

Barkaoui, Kamel, Boucheneb, Hanifa, Mili, Ali, Tahar, Sofiène

Year:

2017

Language:

english

File:

PDF, 300 KB

english, 2017

10

Security as a Service for Public Cloud Tenants(SaaS)

Hawedi, Mohamed, Talhi, Chamseddine, Boucheneb, Hanifa

Journal:

Procedia Computer Science

Year:

2018

Language:

english

File:

PDF, 499 KB

english, 2018

11

Introduction to special issue on verification and evaluation of computer systems

Barkaoui, Kamel, Boucheneb, Hanifa

Journal:

Innovations in Systems and Software Engineering

Year:

2018

Language:

english

File:

PDF, 292 KB

english, 2018

12

Multi-tenant intrusion detection system for public cloud (MTIDS)

Hawedi, Mohamed, Talhi, Chamseddine, Boucheneb, Hanifa

Journal:

The Journal of Supercomputing

Year:

2018

Language:

english

File:

PDF, 2.90 MB

english, 2018

13

High resolution measurements of mass, energy and nuclear charge correlations for 229Th(nth, f) with the cosi fan tutte spectrometer

N. Boucheneb, P. Geltenbort, M. Asghar, G. Barreau, T.P. Doan, F. Gönnenwein, B. Leroux, A. Oed, A. Sicre

Journal:

Nuclear Physics A

Year:

1989

Language:

english

File:

PDF, 559 KB

english, 1989

14

A high-resolution multi-parametric study of 239Pu(nth, f) with the Cosi-Fan-Tutte spectrometer

N. Boucheneb, M. Asghar, G. Barreau, T.P. Doan, B. Leroux, A. Sicre, P. Geltenbort, A. Oed

Journal:

Nuclear Physics A

Year:

1991

Language:

english

File:

PDF, 1.49 MB

english, 1991

15

Measurement of cold fission for 229Th(nth, f), 232U(nth, f) and 239Pu(nth, f) with the Cosi fan tutte spectrometer

M. Asghar, N. Boucheneb, G. Medkour, P. Geltenbort, B. Leroux

Journal:

Nuclear Physics A

Year:

1993

Language:

english

File:

PDF, 729 KB

english, 1993

16

Covering Steps Graphs of Time Petri Nets

Hanifa Boucheneb, Kamel Barkaoui

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 310 KB

english, 2009

17

A security protocol for mobile agents based upon the cooperation of sedentary agents

Abdelhamid Ouardani, Samuel Pierre, Hanifa Boucheneb

Journal:

Journal of Network and Computer Applications

Year:

2007

Language:

english

File:

PDF, 483 KB

english, 2007

18

On-the-fly model checking for time Petri nets

Rachid Hadjidj, Hanifa Boucheneb

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 1.74 MB

english, 2009

19

Contraction of the ITCPN state space

H. Boucheneb, G. Berthelot

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 180 KB

english, 2002

20

Timed secure colored Petri net based analysis of information flow

Hind Rakkay, Hanifa Boucheneb

Journal:

annals of telecommunications - annales des télécommunications

Year:

2006

Language:

english

File:

PDF, 3.30 MB

english, 2006

21

Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties

Hanifa Boucheneb

Journal:

Formal Aspects of Computing

Year:

2008

Language:

english

File:

PDF, 281 KB

english, 2008

22

model checking for time Petri nets

Hanifa Boucheneb, Rachid Hadjidj

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 554 KB

english, 2006

23

Efficient Reachability Analysis for Time Petri Nets

Hadjidj, R., Boucheneb, H.

Journal:

IEEE Transactions on Computers

Year:

2011

Language:

english

File:

PDF, 1.21 MB

english, 2011

24

Maximally permissive controller synthesis for time Petri nets

Heidari, Parisa, Boucheneb, Hanifa

Journal:

International Journal of Control

Year:

2013

Language:

english

File:

PDF, 1.97 MB

english, 2013

25

Apport de la TEP-TDM au 18F-FDG pour le diagnostic et la prise en charge d’une greffe septique sur anévrisme préexistant de l’aorte abdominale

Boucheneb, S., Pernin, M., Gontier, E., Tuleja, E., Ukkola-Pons, E., Carmoi, T., Bonardel, G.

Journal:

Médecine Nucléaire

Year:

2013

Language:

french

File:

PDF, 54 KB

french, 2013

26

Péricardite révélant une maladie de Horton : apports de la TEP/TDM au 18F-FDG à propos de deux cas

Gontier, E., Boucheneb, S., Cambon, A., Martin, A.-C., Carmoi, T., Lecoules, S., Bonardel, G.

Journal:

Médecine Nucléaire

Year:

2013

Language:

french

File:

PDF, 46 KB

french, 2013

27

On Synthesizing a Consistent Operational Transformation Approach

Randolph, Aurel, Boucheneb, Hanifa, Imine, Abdessamad, Quintero, Alejandro

Journal:

IEEE Transactions on Computers

Year:

2015

Language:

english

File:

PDF, 283 KB

english, 2015

28

[IEEE Fifth International Conference on Application of Concurrency to System Design (ACSD'05) - St. Malo, France (07-09 June 2005)] Fifth International Conference on Application of Concurrency to System Design (ACSD'05) - Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties

Hadjidj, R., Boucheneb, H.

Year:

2005

Language:

english

File:

PDF, 363 KB

english, 2005

29

[IEEE 2012 12th International Conference on Application of Concurrency to System Design (ACSD) - Hamburg, TBD, Germany (2012.06.27-2012.06.29)] 2012 12th International Conference on Application of Concurrency to System Design - Reachability Analysis of P-time Petri Nets with Parametric Markings

Boucheneb, Hanifa, Barkaoui, Kamel

Year:

2012

Language:

english

File:

PDF, 318 KB

english, 2012

30

[IEEE Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Bratislava, Slovakia (2007.07.10-2007.07.13)] Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - A more efficient time Petri net state space abstraction preserving linear properties

Boucheneb, Hanifa, Rakkay, Hind

Year:

2007

Language:

english

File:

PDF, 303 KB

english, 2007

31

[IEEE 2009 Ninth International Conference on Application of Concurrency to System Design (ACSD) - Augsburg, Germany (2009.07.1-2009.07.3)] 2009 Ninth International Conference on Application of Concurrency to System Design - Time Arc Petri Nets and Their Analysis

Rakkay, Hind, Boucheneb, Hanifa, Roux, Olivier H.

Year:

2009

Language:

english

File:

PDF, 632 KB

english, 2009

32

[IEEE 2008 Third International Conference on Risks and Security of Internet and Systems( CRiSIS) - Tozeur, Tunisia (2008.10.28-2008.10.30)] 2008 Third International Conference on Risks and Security of Internet and Systems - Verification of Workflow processes under multilevel security considerations

Barkaoui, Kamel, Ayed, Rahma Ben, Boucheneb, Hanifa, Hicheur, Awatef

Year:

2008

Language:

english

File:

PDF, 271 KB

english, 2008

33

[IEEE Comput. Soc. Press 5th International Workshop on Petri Nets and Performance Models - Toulouse, France (19-22 Oct. 1993)] Proceedings of 5th International Workshop on Petri Nets and Performance Models - Towards a simplified building of time Petri Nets reachability graph

Boucheneb, H., Alger, U., Berthelot, G.

Year:

1993

Language:

english

File:

PDF, 854 KB

english, 1993

34

[IEEE 2008 IEEE International Behavioral Modeling and Simulation Workshop (BMAS 2008) - San Jose, CA, USA (2008.09.25-2008.09.26)] 2008 IEEE International Behavioral Modeling and Simulation Workshop - Semantics for Rollback-Based Continuous/Discrete Simulation

Gheorghe, Luiza, Nicolescu, Gabriela, Boucheneb, Hanifa

Year:

2008

Language:

english

File:

PDF, 3.51 MB

english, 2008

35

[IEEE Sixth International Conference on Application of Concurrency to System Design (ACSD'06) - Turku, Finland (28-30 June 2006)] Sixth International Conference on Application of Concurrency to System Design (ACSD'06) - On-the-fly TCTL model checking for Time Petri Nets using state class graphs

Hadjidj, R., Boucheneb, H.

Year:

2006

Language:

english

File:

PDF, 362 KB

english, 2006

36

[IEEE 2010 10th International Conference on Application of Concurrency to System Design - Braga, TBD, Portugal (2010.06.21-2010.06.25)] 2010 10th International Conference on Application of Concurrency to System Design - Efficient Method for Checking the Existence of a Safety/ Reachability Controller for Time Petri Nets

Heidari, Parisa, Boucheneb, Hanifa

Year:

2010

Language:

english

File:

PDF, 296 KB

english, 2010

37

[IEEE Seventeenth IEEE International Workshop on Rapid System Prototyping (RSP'06) - Chania, Crete, Greece (14-16 June 2006)] Seventeenth IEEE International Workshop on Rapid System Prototyping (RSP'06) - Formal Definitions of Simulation Interfaces in a Continuous/Discrete Co-Simulation Tool

Gheorghe, L., Bouchhima, F., Nicolescu, G., Boucheneb, H.

Year:

2006

Language:

english

File:

PDF, 361 KB

english, 2006

38

[IEEE 2008 Design, Automation and Test in Europe - Munich, Germany (2008.03.10-2008.03.14)] 2008 Design, Automation and Test in Europe - Semantics for Model-Based Validation of Continuous/Discrete Systems

Gheorghe, L., Bouchhima, F., Nicolescu, G., Boucheneb, H.

Year:

2008

Language:

english

File:

PDF, 451 KB

english, 2008

39

Partial order reduction for checking soundness of time workflow nets

Boucheneb, Hanifa, Barkaoui, Kamel

Journal:

Information Sciences

Year:

2014

Language:

english

File:

PDF, 555 KB

english, 2014

40

A generic conceptual framework based on formal representation for the design of continuous/discrete co-simulation tools

Iugan, Luiza Gheorghe, Boucheneb, Hanifa, Nicolescu, Gabriela

Journal:

Design Automation for Embedded Systems

Year:

2015

Language:

english

File:

PDF, 2.02 MB

english, 2015

41

Revisiting monotop production at the LHC

I. Boucheneb, G. Cacciapaglia, A. Deandrea, B. Fuks

Year:

2015

Language:

english

File:

PDF, 482 KB

english, 2015

42

TCTL Model Checking of Time Petri Nets

Boucheneb, H., Gardey, G., Roux, O. H.

Journal:

Journal of Logic and Computation

Year:

2009

Language:

english

File:

PDF, 453 KB

english, 2009

43

Revisiting monotop production at the LHC

Boucheneb, Idir, Cacciapaglia, Giacomo, Deandrea, Aldo, Fuks, Benjamin

Journal:

Journal of High Energy Physics

Year:

2015

Language:

english

File:

PDF, 482 KB

english, 2015

44

Stubborn Sets for Time Petri Nets

Boucheneb, Hanifa, Barkaoui, Kamel

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2015

Language:

english

File:

PDF, 487 KB

english, 2015

45

[ACM Press the conference - Munich, Germany (2008.03.10-2008.03.14)] Proceedings of the conference on Design, automation and test in Europe - DATE '08 - Semantics for model-based validation of continuous/discrete systems

Gheorghe, L., Bouchhima, F., Nicolescu, G., Boucheneb, H.

Year:

2008

Language:

english

File:

PDF, 531 KB

english, 2008

46

Reducing Interleaving Semantics Redundancy in Reachability Analysis of Time Petri Nets

Boucheneb, Hanifa, Barkaoui, Kamel

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2013

Language:

english

File:

PDF, 1.02 MB

english, 2013

47

[IEEE 2015 IEEE 7th International Conference on Cloud Computing Technology and Science (CloudCom) - Vancouver, BC, Canada (2015.11.30-2015.12.3)] 2015 IEEE 7th International Conference on Cloud Computing Technology and Science (CloudCom) - A Formal Approach for QoS Assurance in the Cloud

Heidari, Parisa, Boucheneb, Hanifa, Shami, Abdallah

Year:

2015

Language:

english

File:

PDF, 192 KB

english, 2015

48

[IEEE CCECE 2003 - Canadian Conference on Electrical and Computer Engineering. Toward a Caring and Humane Technology - Montreal, Que., Canada (4-7 May 2003)] CCECE 2003 - Canadian Conference on Electrical and Computer Engineering. Toward a Caring and Humane Technology (Cat. No.03CH37436) - Secure protocol in mobile agent environment

El Rhazi, A., Pierre, S., Boucheneb, H.

Year:

2003

Language:

english

File:

PDF, 274 KB

english, 2003

49

[IEEE 2015 15th International Conference on Application of Concurrency to System Design (ACSD) - Brussels, Belgium (2015.6.21-2015.6.26)] 2015 15th International Conference on Application of Concurrency to System Design - Strongly Generalized Soundness of Time Workflow Nets

Boucheneb, Hanifa, Barkaoui, Kamel

Year:

2015

Language:

english

File:

PDF, 322 KB

english, 2015

50

Using inclusion abstraction to construct Atomic State Class Graphs for Time Petri Nets

Boucheneb, Hanifa, Hadjidj, Rachid

Journal:

International Journal of Embedded Systems

Year:

2006

Language:

english

File:

PDF, 630 KB

english, 2006